Results for 'Craig A. Smorynski'

1000+ found
Order:
  1.  41
    Stewart Shapiro. Introduction—intensional mathematics and constructive mathematics. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, vol. 113, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 1–10. - Stewart Shapiro. Epistemic and intuitionistic arithmetic. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 11–46. - John Myhill. Intensional set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 47–61. - Nicolas D. Goodman. A genuinely intensional set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 63–79. - Andrej Ščedrov. Extending Godel's modal interpretation to type theory and set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 81–119. - Robert C. Flagg. Church's. [REVIEW]Craig A. Smorynski - 1991 - Journal of Symbolic Logic 56 (4):1496-1499.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  26
    Review: Stewart Shapiro, Intensional Mathematics. [REVIEW]Craig A. Smorynski - 1991 - Journal of Symbolic Logic 56 (4):1496-1499.
  3.  80
    Calculating self-referential statements, I: Explicit calculations.Craig Smorynski - 1979 - Studia Logica 38 (1):17 - 36.
    The proof of the Second Incompleteness Theorem consists essentially of proving the uniqueness and explicit definability of the sentence asserting its own unprovability. This turns out to be a rather general phenomenon: Every instance of self-reference describable in the modal logic of the standard proof predicate obeys a similar uniqueness and explicit definability law. The efficient determination of the explicit definitions of formulae satisfying a given instance of self-reference reduces to a simple algebraic problem-that of solving the corresponding fixed-point equation (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  4.  30
    The finite inseparability of the first-order theory of diagonalisable algebras.Craig Smoryński - 1982 - Studia Logica 41 (4):347 - 349.
    In a recent paper, Montagna proved the undecidability of the first-order theory of diagonalisable algebras. This result is here refined — the set of finitely refutable sentences is shown effectively inseparable from the set of theorems. The proof is quite simple.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  80
    Attitudes toward physician-assisted suicide among physicians in Vermont.A. Craig, B. Cronin, W. Eward, J. Metz, L. Murray, G. Rose, E. Suess & M. E. Vergara - 2007 - Journal of Medical Ethics 33 (7):400-403.
    Background: Legislation on physician-assisted suicide is being considered in a number of states since the passage of the Oregon Death With Dignity Act in 1994. Opinion assessment surveys have historically assessed particular subsets of physicians.Objective: To determine variables predictive of physicians’ opinions on PAS in a rural state, Vermont, USA.Design: Cross-sectional mailing survey.Participants: 1052 physicians licensed by the state of Vermont.Results: Of the respondents, 38.2% believed PAS should be legalised, 16.0% believed it should be prohibited and 26.0% believed it should (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  6.  21
    Temporal vs. spatial information as a reinforcer of observing.Craig A. Bowe & James A. Dinsmoor - 1981 - Bulletin of the Psychonomic Society 17 (1):33-36.
  7.  65
    Appraisal components, core relational themes, and the emotions.Craig A. Smith & Richard S. Lazarus - 1993 - Cognition and Emotion 7 (3-4):233-269.
  8.  63
    Pride and Humility: Tempering the Desire for Excellence.Craig A. Boyd - 2014 - In Kevin Timpe & Craig Boyd (eds.), Virtues and Their Vices. Oxford University Press. pp. 245.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  8
    Postsecular political and fundamental theology: appropriating ‘the event’ of revelation.Craig A. Baron - 2022 - International Journal of Philosophy and Theology 83 (4):296-314.
    This paper is an analysis of John Caputo’s philosophical interpretation of ‘the event’ as a form of revelation with specific reference to political theology and in dialogue with the theological notion of ‘interruption’ by the fundamental theologian Lieven Boeve. Following Charles Taylor’s interpretation of the post-secular, the argument is that Boeve’s ‘radical hermeneutics of religion’ is more postmodern than Caputo because it presents religion as co-constituted with language, particularity, and contingency and grounded within the specificity of the Christian narrative.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  28
    God is Deeper than Darwin: John Haught's Catholic Theology and Science.Craig A. Baron - 2013 - Heythrop Journal 54 (4):645-657.
  11.  22
    Women’s Roles on U.S. Fortune 500 Boards: Director Expertise and Committee Memberships.Craig A. Peterson & James Philpot - 2007 - Journal of Business Ethics 72 (2):177-196.
    This study examines the presence and roles of female directors of U.S. Fortune 500 firms, focusing on committee assignments and director background. Prior work from almost two decades ago concludes that there is a systematic bias against females in assignment to top board committees. Examining a recent data set with a logistic regression model that controls for director and firm characteristics, director resource-dependence roles and interaction between director gender and director characteristics, we find that female directors are less likely than (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  12. Assessing students' abilities to construct and interpret line graphs: Disparities between multiple‐choice and free‐response instruments.Craig A. Berg & Philip Smith - 1994 - Science Education 78 (6):527-554.
     
    Export citation  
     
    Bookmark   2 citations  
  13.  1
    A Systems View of Classrooms.Craig A. Cunningham - 2015 - Philosophy of Education 71:269-272.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. Finding a role for Durkheim in Contemporary Moral Theory.Craig A. Cunningham - 2002 - Philosophy of Education 58:328-330.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  25
    Body consciousness: A philosophy of mindfulness and somaesthetics (review).Craig A. Cunningham - 2008 - Education and Culture 24 (2):pp. 54-59.
  16.  4
    Automatically generating abstractions for planning.Craig A. Knoblock - 1994 - Artificial Intelligence 68 (2):243-302.
  17.  26
    Artful writing about artful living.Craig A. Cunningham - 2008 - Journal of Philosophy of Education 42 (2):333-340.
    John Dewey, Robert Pirsig, and the Art of Living: Revisioning Aesthetic Education. David A. Granger. New York, Palgrave, 2006. Pp. xii+307. Hbk. £47.50. $£47.50.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  10
    Education 2.0: The Learningweb Revolution and the Transformation of the School.Craig A. Cunningham - 2014 - Educational Theory 64 (4):409-417.
  19.  18
    Christian Ethics and Moral Philosophy: An Introduction to Issues and Approaches.Craig A. Boyd - 2018 - Grand Rapids, Michigan: Baker Academic. Edited by Donald A. D. Thorsen.
    This introductory textbook presents Christian philosophical and theological approaches to ethics. Combining their expertise in philosophy and theology, the authors explain the beliefs, values, and practices of various Christian ethical viewpoints, addressing biblical teachings as well as traditional ethical theories that contribute to informed moral decision-making. Each chapter begins with Words to Watch and includes a relevant case study on a vexing ethical issue, such as caring for the environment, human sexuality, abortion, capital punishment, war, and euthanasia. End-of-chapter reflection questions, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  23
    Native land rights in australia.Craig A. Davison - 1998 - Business Ethics, the Environment and Responsibility 7 (1):12–16.
    How do aboriginal traditional land rights fare in the face of modern business? “Belatedly, Australia is dealing with a major human rights issue it has attempted to sweep under the rug for 200 years”. The author is completing his MBA at London Business School and is a mining engineer of Australian origin.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  51
    Putting appraisal in context: Toward a relational model of appraisal and emotion.Craig A. Smith & Leslie D. Kirby - 2009 - Cognition and Emotion 23 (7):1352-1372.
    According to appraisal theory, emotions result from an individual's meaning analysis of the implications of his/her circumstances for personal well-being, and individual differences in emotion arise when individuals appraise similar situations differently. Relational models of appraisal attempt to describe the situational and dispositional antecedents of appraisals, and should allow one to predict such individual differences. In this article, we review three examples of our efforts toward developing relational appraisal models. In two, we start with a particular appraisal component, motivational relevance (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  22.  75
    Was Thomas Aquinas a Sociobiologist? Thomistic Natural Law, Rational Goods, and Sociobiology.Craig A. Boyd - 2004 - Zygon 39 (3):659-680.
  23. Human feelings: Why are some more aware than others?A. D. Craig - 2004 - Trends in Cognitive Sciences 8 (6):239-241.
  24.  71
    Participation Metaphysics in Aquinas’s Theory of Natural Law.Craig A. Boyd - 2005 - American Catholic Philosophical Quarterly 79 (3):431-445.
    Interpreters of Aquinas’s theory of natural law have occasionally argued that the theory has no need for God. Some, such as Anthony Lisska, wish to avoid an interpretation that construes the theory as an instance of theological definism. Instead Lisska sees Aquinas’s ontology of natural kinds as central to the theory. In his zeal to eliminate God from Aquinas’s theory of natural law, Lisska has overlooked two important features of the theory. First, Aquinas states that the desire for God is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  25.  63
    Why wasn't Capitalism born in China? – Deleuze and the Philosophy of Non-Events.Craig A. Lundy - forthcoming - Theory and Event 16 (3).
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  26.  5
    Agitating Images: Photography Against History in Indigenous Siberia.Craig A. R. Campbell - 2014 - Univ of Minnesota Press.
    Following the socialist revolution, a colossal shift in everyday realities began in the 1920s and '30s in the former Russian empire. Faced with the Siberian North, a vast territory considered culturally and technologically backward by the revolutionary government, the Soviets confidently undertook the project of reshaping the ordinary lives of the indigenous peoples in order to fold them into the Soviet state. In Agitating Images, Craig Campbell draws a rich and unsettling cultural portrait of the encounter between indigenous Siberians (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  27. The Politics of the Cross: The Theology and Ethics of John Howard Yoder.Craig A. Carter, Stanley Hauerwas, Chris K. Huebner, Harry J. Huebner, Mark Thiessen Nation & Ben C. Ollenburger - 2005 - Journal of Religious Ethics 33 (1):139-174.
    In his landmark monograph, "The Politics of Jesus", John Howard Yoder challenged mainstream Christian social ethics by arguing that the New Testament account of Jesus's founding of a messianic community entails a normative politics, not only for early Christianity but for the contemporary church. This challenge is further elaborated in several important posthumous publications, especially "Preface to Theology", in which Yoder examines the development of early Christology with attention to its political and ethical implications, and "The Jewish-Christian Schism Revisited", Yoder's (...)
     
    Export citation  
     
    Bookmark  
  28.  52
    Augustine, Aquinas, & Tolkien: Three Catholic views on Curiositas.Craig A. Boyd - 2020 - Heythrop Journal 61 (2):222-233.
  29. Minimize NOx using only combustion control.Craig A. Penterson & Kenneth R. Hules - 2005 - In Alan F. Blackwell & David MacKay (eds.), Power. Cambridge University Press. pp. 149--8.
     
    Export citation  
     
    Bookmark  
  30.  15
    Relational antecedents of appraised problem-focused coping potential and its associated emotions.Craig A. Smith & Leslie D. Kirby - 2009 - Cognition and Emotion 23 (3):481-503.
    The present study examined a relational model of appraisal that specifies the situational and dispositional antecedents of appraised problem-focused coping potential, itself a hypothesised antecedent of the emotions of hope/challenge and resignation. The hypothesised relational antecedents of this appraisal were tested in a quasi-experiment in which individuals varying in self-perceived and objectively assessed math ability attempted to solve math problems on which difficulty was manipulated. Findings for the critical test problem largely conformed to predictions: Under difficult conditions, but not easy (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  31.  45
    An interoceptive neuroanatomical perspective on feelings, energy, and effort.A. D. Craig - 2013 - Behavioral and Brain Sciences 36 (6):685-686.
  32.  22
    Greek love at Rome.Craig A. Williams - 1995 - Classical Quarterly 45 (02):517-.
    It has long been a commonly held belief among classicists that traditional Romans frowned upon male homosexuality and associated it with the influence of Greek culture. There have always been exceptions to this belief, but when Paul Veyne published the following remarks in his 1978 article ‘La famille et l'amour sous le hautempire romain’, his views were quite heterodox: Il est faux que l'amour ‘grec’ soit, à Rome, d'origine grecque: comme plus d'une société méditerranéenne de nos jours encore, Rome n'a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  33.  87
    Women’s Roles on U.S. Fortune 500 Boards: Director Expertise and Committee Memberships. [REVIEW]Craig A. Peterson & James Philpot - 2007 - Journal of Business Ethics 72 (2):177 - 196.
    This study examines the presence and roles of female directors of U.S. Fortune 500 firms, focusing on committee assignments and director background. Prior work from almost two decades ago concludes that there is a systematic bias against females in assignment to top board committees. Examining a recent data set with a logistic regression model that controls for director and firm characteristics, director resource-dependence roles and interaction between director gender and director characteristics, we find that female directors are less likely than (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  34.  67
    The emerging relationship of psychology and the internet: Proposed guidelines for conducting internet intervention research.Craig A. Childress & Joy K. Asamen - 1998 - Ethics and Behavior 8 (1):19 – 35.
    The Internet is rapidly developing into an important medium of communication in modem society, and both psychological research and therapeutic interventions are being increasingly conducted using this new communication medium. As therapeutic interventions using the Internet are becoming more prevalent, it is becoming increasingly important to conduct research on psychotherapeutic Internet interventions to assist in the development of an appropriate standard of practice regarding interventions using this new medium. In this article, we examine the Internet and the current psychological uses (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  35.  23
    Neurobiological computation and synthetic intelligence.Craig A. Lindley - 2013 - In Gordana Dodig-Crnkovic Raffaela Giovagnoli (ed.), Computing Nature. pp. 71--85.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  36. Amos 8:1–12.Craig A. Satterlee - 2007 - Interpretation: A Journal of Bible and Theology 61 (2):202-204.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37. When God Speaks Through Change: Preaching In Times of Congregational Transition.Craig A. Satterlee - 2005
    No categories
     
    Export citation  
     
    Bookmark  
  38. When God Speaks Through Worship: Stories Congregations Live By.Craig A. Satterlee - 2009
    No categories
     
    Export citation  
     
    Bookmark  
  39. When God Speaks Through You: How Faith Convictions Shape Preaching and Mission.Craig A. Satterlee - 2008
    No categories
     
    Export citation  
     
    Bookmark  
  40.  9
    The impact of Brown on African American students: A critical race theoretical perspective.Craig A. Saddler - 2005 - Educational Studies 37 (1):41-55.
  41.  31
    The anonymous progymnasmata in John Doxapatres' Homiliae in Aphthonium.Craig A. Gibson - 2009 - Byzantinische Zeitschrift 102 (1):83-94.
    This article examines the anonymous progymnasmata in John Doxapatres' commentary on Aphthonius' Progymnasmata for evidence about their authorship, origin, and relations to other progymnasmata. These exercises include three chreias, a refutation and confirmation of the myth of Ganymedes, an encomium and invective of Agamemnon, a comparison of the grapevine and olive tree, and an ethopoeia on the deposition of the emperor Michael V Kalaphates. In addition to providing a formal rhetorical analysis of the exercises, the article offers further support for (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  8
    Temple prostitution at aphaca: An overlooked source.Craig A. Gibson - 2019 - Classical Quarterly 69 (2):928-931.
    In her book The Myth of Sacred Prostitution in Antiquity, Stephanie Budin compiles and analyses an impressive array of literary sources which describe, or have been interpreted as describing, several practices that modern scholars have collectively and variously called sacred, ritual, cultic or temple prostitution. In general, as Budin explains, ‘[s]acred prostitution is the sale of a person's body for sexual purposes where some portion of the money or goods received for this transaction belongs to a deity … usually Aphrodite’. (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  20
    Against Penelope: An Invective Theme from Hellenistic Greece.Craig A. Gibson - 2019 - Classical World: A Quarterly Journal on Antiquity 113 (1):53-63.
  44.  8
    Palaephatus and the Progymnasmata.Craig A. Gibson - 2012 - Byzantinische Zeitschrift 105 (1).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  32
    Pandulf of Capua's De calculatione: an illustrated abacus treatise and some evidence for the Hindu-Arabic numerals in eleventh-century south Italy.Craig A. Gibson & Francis Newton - 1995 - Mediaeval Studies 57 (1):293-335.
  46.  11
    The alexandrian tychaion and the date of ps.-Nicolaus progymnasmata.Craig A. Gibson - 2009 - Classical Quarterly 59 (2):608-.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  7
    “Women′s sacrifices” in [Libanius] Progymnasmata 12.29.6.Craig A. Gibson - 2008 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 152 (2):343-345.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  9
    The School of Libanius in Late Antique Antioch.Craig A. Gibson - 2008 - Classical World: A Quarterly Journal on Antiquity 102 (1):91-92.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  18
    Seeking the Identity of Jesus: A Pilgrimage – Edited by Beverly Roberts Gaventa and Richard B. Hays.Craig A. Evans - 2011 - Modern Theology 27 (1):212-214.
  50. A cognitive infrastructure for change in South Atnca.A. Craig - forthcoming - Theoria.
    No categories
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000